N N T B S: (-)
نویسندگان
چکیده
The untilmodality of temporal logic “A until B” is called strict in its first argument when it does not constrain the value of the first argument A at the instant at which the formula is evaluated. In this paper, we show that linear metric temporal logics with bounded until modalities that are non-strict in the first argument are as expressive as those with strict modalities, when interpreted over non-Zeno dense-time models.
منابع مشابه
Amitraz Poisoning; A case study
A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...
متن کاملOn the solving matrix equations by using the spectral representation
The purpose of this paper is to solve two types of Lyapunov equations and quadratic matrix equations by using the spectral representation. We focus on solving Lyapunov equations $AX+XA^*=C$ and $AX+XA^{T}=-bb^{T}$ for $A, X in mathbb{C}^{n times n}$ and $b in mathbb{C} ^{n times s}$ with $s < n$, which $X$ is unknown matrix. Also, we suggest the new method for solving quadratic matri...
متن کاملProbability of having $n^{th}$-roots and n-centrality of two classes of groups
In this paper, we consider the finitely 2-generated groups $K(s,l)$ and $G_m$ as follows:$$K(s,l)=langle a,b|ab^s=b^la, ba^s=a^lbrangle,\G_m=langle a,b|a^m=b^m=1, {[a,b]}^a=[a,b], {[a,b]}^b=[a,b]rangle$$ and find the explicit formulas for the probability of having nth-roots for them. Also, we investigate integers n for which, these groups are n-central.
متن کاملSome numerical results on two classes of finite groups
In this paper, we consider the finitely presented groups $G_{m}$ and $K(s,l)$ as follows;$$G_{m}=langle a,b| a^m=b^m=1,~[a,b]^a=[a,b],~[a,b]^b=[a,b]rangle $$$$K(s,l)=langle a,b|ab^s=b^la,~ba^s=a^lbrangle;$$and find the $n^{th}$-commutativity degree for each of them. Also we study the concept of $n$-abelianity on these groups, where $m,n,s$ and $l$ are positive integers, $m,ngeq 2$ and $g.c.d(s,...
متن کاملSharply $(n-2)$-transitive Sets of Permutations
Let $S_n$ be the symmetric group on the set $[n]={1, 2, ldots, n}$. For $gin S_n$ let $fix(g)$ denote the number of fixed points of $g$. A subset $S$ of $S_n$ is called $t$-emph{transitive} if for any two $t$-tuples $(x_1,x_2,ldots,x_t)$ and $(y_1,y_2,ldots ,y_t)$ of distinct elements of $[n]$, there exists $gin S$ such that $x_{i}^g=y_{i}$ for any $1leq ileq t$ and additionally $S$ is called e...
متن کاملAlmost n-Multiplicative Maps between Frechet Algebras
For the Fr'{e}chet algebras $(A, (p_k))$ and $(B, (q_k))$ and $n in mathbb{N}$, $ngeq 2$, a linear map $T:A rightarrow B$ is called textit{almost $n$-multiplicative}, with respect to $(p_k)$ and $(q_k)$, if there exists $varepsilongeq 0$ such that$$q_k(Ta_1a_2cdots a_n-Ta_1Ta_2cdots Ta_n)leq varepsilon p_k(a_1) p_k(a_2)cdots p_k(a_n),$$for each $kin mathbb{N}$ and $a_1, a_2, ldots, a_nin A$. Th...
متن کامل